|
|
Algoritmy pro umělou inteligenci
Petrželka, Jan ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá algoritmy používanými v oblasti umělé inteligence, konkrétně se jedná o algoritmy popsané v knize Artificial Inteligence: A Modern Approach autorů Russela a Norviga a jejich implementaci v jazyce Squeak Smalltalk. Je kladen důraz na objektově orientovaný přístup, který vyplývá z podstaty jazyka Smalltalk. Zdrojem jsou kromě popisů algoritmů v pseudokódu přímo v knize také existující implementace v jazycích Lisp, Python a Java. Tato práce se věnuje algoritmům pro práci s inteligentními agenty a prostředími pro simulaci těchto agentů, prohledávání stavového prostoru, hraní her, plánování, logice, pravděpodobnosti a učení.
|
|
|
Návrh a realizace učební pomůcky „LOGIK“
Pučegl, Pavel ; Krček, Petr (oponent) ; Marada, Tomáš (vedoucí práce)
Postupné dosluhování a nepříliš velká spokojenost s provedením stávajících panelů pro výuku předmětu „Logické řízení a programovatelné automaty“ vedlo Ústav automatizace a informatiky Vysokého učení technického v Brně k rozhodnutí ke zkonstruování nové učební pomůcky „LOGIK“. Tato pomůcka by měla pomoci při praktickém ověřování znalostí nabytých při výuce předmětu. Studenti by měli mít možnost na této pomůcce realizovat zapojení úloh pomocí kombinačních a sekvenčních logických obvodů. Cílem této práce je návrh a následná realizace této učební pomůcky tak, aby mohla být v budoucnu skutečně použita při výuce.
|
|
|
Využití SAT solverů v úloze optimalizace kombinačních obvodů
Minařík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce zavádí využití řešení problému SAT a jeho modifikací v úloze evolučního návrhu kombinačních obvodů. Motivací využití těchto problémů je zrychlení ohodnocování chromozomů kandidátních řešení fitness funkcí během evoluce v případech, kdy selhává metoda klasické simulace. Využití problému SAT, respektive #SAT umožňuje oproti simulaci zrychlení zejména pro komplikované obvody s velkým počtem vstupů. Implementované řešení se zalkádá právě na problému #SAT. Celkem byly implemenyovány dvě různé varianty využití tohoto problému. Varianty se liší metodou kontorly rozdílných hodnot na výstupech obvodu. Protože implementované řešení využívá k reprezentaci obvodu logickou formuli a zkoumá její splnitelnost, časová složitost algoritmu závisí především na logické složitosti navrhovaného obvodu.
|
|
| |
|
|
Vztah klient-server u webových aplikací
Kučera, Petr ; Petřík, Patrik (oponent) ; Šperka, Svatopluk (vedoucí práce)
Tato práce zkoumá možnosti přesunu aplikační logiky ve webových aplikacích ze serverů na klienty s cílem snížit zátěž serverů. Zkoumá činnosti, které mohou být prováděny na straně klientů v oblasti generování HTML kódu ze strukturovaných dat a operací nad daty bez nutnosti komunikace se serverem. Popisuje implementaci JavaScriptového frameworku, který převádí poznatky do praktického využití. Jeho využití demonstruje na jednoduchém informačním systému. Výsledky provedených měření ukazují, že frameworku se cíl podařilo splnit a že touto cestou je možné vytvářet webové aplikace kladoucí důraz na snížení serverové zátěže.
|
|
|
Podstata fotografie v digitální éře
Doubek, Zdeněk ; Holeček, Tomáš (vedoucí práce) ; Váša, Ondřej (oponent)
Diplomová práce řeší otázku fotografie nikoli z pohledu uměleckého díla, ale jako součást kulturního kódu. Fotografie v digitální éře má potenciál stát se novým druhem vizuálního jazyka. Z této perspektivy odkrývá fotografické universum několik podstatných otázek, kterým se zde věnujeme. Tyto otázky zkoumají témata jako: historický vývoj obrazů a textu, rozdíl mezi tradičními obrazy a obrazy technickými, kulturní dopad masové výroby digitálních aparátů a fotografií, podstata fotografie jako znaku z pohledu sémiotiky a logiky, potíže dešifrace fotografie, řečové aspekty digitální fotografie nebo význam fotografie ve virtuálním (veřejném) prostoru. Z povahy sledovaných témat bude práce řešit problémy týkající se především jazyka, logiky, epistemologie, lidské svobody v kontextu člověk/aparát a okrajově také sémiotiky.
|
|
|
Britská logika v devatenáctém století
Joachim, Jiří ; Holeček, Tomáš (vedoucí práce) ; Šebela, Karel (oponent)
According to American philosopher W. W. Bartley, the transition from tradi- tional Aristotelian to Boolean logic is a revolutionary milestone in the history of logic. The work of George Boole which was followed by a developement of a mathematicaly oriented logic brings a shift of paradigm. In my thesis I follow the period in which the shift is said to have happened. I explicate the elements of syllogistic and its main conceptions as expounded in a textbook The Rudiments of Logic written by Henry Aldrich. Furthermore I demon- strate logical systems of three authors: Archbishop Richard Whately, George Boole and Lewis Carroll. I accent the connection of those systems and the practical aspect of logic. With this in mind I consider Bartley's statement and estimate the role of the rules in the systems and its possible use in three domains circumscribed in Aldriches book: simple apprehension, judgement and discourse. 1
|
|
|
Prostředí Rodokmen v matematice na 1. st. ZŠ
Bartošová, Zuzana ; Jirotková, Darina (vedoucí práce) ; Hejný, Milan (oponent)
Prostředí Rodokmen je jedním z mnoha matematických prostředí uvedených v učebnicích nakladatelství FRAUS, jež vychází z koncepce RVP pro ZV. Toto prostředí je nástrojem pro budování matematických schémat v oblasti pojmů a vztahů mezi nimi a pro rozvoj logiky. V teoretické části diplomové práci začleňuji prostředí Rodokmen do koncepce RVP pro ZV, uvádím základní matematickou a genealogickou terminologii, vymezuji relace v množinovém pojetí, klasifikuji příbuzenské svazky a zabývám se metodikou řešení úloh o věku. V praktické části pak formou experimentu zjišťuji, jak žáci rozumí daným pojmům a v jakých souvislostech, jakým způsobem terminologii aplikují na řešení relačních úloh a úloh o věku, kde do hry vstupují navíc matematické operace a práce s čísly.
|
|
|
Frege a Husserl o objektivitě
Jankovská, Lenka ; Peregrin, Jaroslav (vedoucí práce) ; Beran, Ondřej (oponent)
Bakalářská práce se zabývá raným dílem významných logiků a filo- sofů Gottloba Frega a Edmunda Husserla na přelomu 19. a 20. století. Především se věnuje jejich řešení objektivity aritmetiky a objektivity jako takové. Zpočátku se oba vydali stejným směrem a ostře odmítali psycho- logismus. Zavedli podobné rozlišení smyslu a významu. Význam věty je pro Frega pravdivostní hodnota, pro Husserla stav věcí. Smysl je způsob směřování k objektu, intencionalita. Ve větě pro Frega myšlenka a pro Husserla noema. Oba kladli důraz na objektivitu čísla, avšak každý se postupně vydal jiným směrem. Frege ztotožnil číslo s extenzí pojmu, což však později dovedlo jeho systém ke sporu. Husserl získával číslo pomocí abstrakce, čímž se vystavil Fregově přísné kritice. Klíčová slova Frege, Husserl, objektivita, logika
|
|
| |
host ::
RSS.